1. Advanced Boolean techniques :
پدیدآورنده: editors, Rolf Drechsler and Mathias Soeken.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Boolean, Congresses.,Algebra, Boolean.
رده :
QA10
.
3
.
I58
2018eb
2. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
3. Boolean function complexity /
پدیدآورنده: edited by M.S. Paterson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Boolean.,Computational complexity, Congresses.,Algebra, Boolean.,Boole, algèbre de-- Congrès.,Boolean-functions.,Boolesche Funktion,Complexité de calcul (Informatique)-- Congrès.,Computational complexity.,Komplexitätstheorie,MATHEMATICS-- Algebra-- General.
رده :
QA267
.
7
.
B66
1992eb
4. Boolean function complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computational complexity-- Congresses,، Algebra, Boolean
رده :
QA
267
.
7
.
B66
1992
5. Boolean function complexity
پدیدآورنده: edited by M.S. Paterson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity,Congresses ، Algebra, Boolean
رده :
QA
267
.
7
.
B6
6. Boolean functions in cryptology and information security
پدیدآورنده: / edited by Bart Preneel and Oleg A. Logachev
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Algebra, Boolean, Congresses,Cryptography, Congresses,Computer security, Congresses
رده :
E-BOOK
7. Exploring the early digital /
پدیدآورنده: Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
8. Handbook of satisfiability /
پدیدآورنده: edited by Armin Biere ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Boolean, Congresses,Computer algorithms, Congresses,Decision making, Congresses,Propositional calculus, Congresses
9. Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Genetic regulation-- Mathematical models-- Congresses,، Algebra, Boolean-- Congresses
رده :
QH
450
.
K53
10. Logic, computation, hierarchies /
پدیدآورنده: edited by Vasco Brattka, Hannes Diener, Dieter Spreen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Boolean, Congresses,Logic, Symbolic and mathematical, Congresses,Petri nets, Congresses,Quasi-metric spaces, Congresses,Set theory, Congresses
11. Positive systems :
پدیدآورنده: edited by James Lam, Yun Chen, Xingwen Liu, Xudong Zhao, Junfeng Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational intelligence, Congresses.,Control theory-- Computer programs, Congresses.,Positive systems, Congresses.,Computational intelligence.,Control theory-- Computer programs.,Engineering.,Positive systems.
رده :
QA402
.
L43x
v
.
480
12. Reality and measurement in algebraic quantum theory :
پدیدآورنده: Masanao Ozawa, Jeremy Butterfield, Hans Halvorson, Miklós Rédei, Yuichiro Kitajima, Francesco Buscemi, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Quantum theory, Congresses.,Quantum theory.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
رده :
QC173
.
96
